1. Australian libraries: the essential directory
پدیدآورنده : / Compiled and edited by Alan and Judith Bundy
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : Libraries - Australia - Directories,Information Services - Australia - Directories
رده :
Bib
.
Z870
.
A1A83
2001
2. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
4. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
5. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1986
6. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Artificial intelligence - Data processing
رده :
Q
.
B86
336
1990
7. Catalogue of artificial intelligence techniques
پدیدآورنده : Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: (طهران)
موضوع : Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990
8. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: (طهران)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
9. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
10. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
11. Constantine to c. 600
پدیدآورنده : / edited by Augustine Casiday , Frederick W. Norris.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
رده :
R
BR165
.
C3
V
.
2
2007
12. Constantine to c. 600
پدیدآورنده : \ Edited By Augustine Casiday and Frederick W. Norris.
کتابخانه: (طهران)
موضوع : مسیحیت -- تاریخ -- کلیسای اولیه، ح.۳۰-۶۰۰م.
رده :
BR
200
.
C66
13. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR200
.
C66
2007
14. Constantine to c. 600
پدیدآورنده : edited by Augustine Casiday and Frederick W. Norris
کتابخانه: (قم)
موضوع : ، Church history - Primitive and early church, ca. 03-006
رده :
BR
200
.
C66
2007
15. The Cambridge history of Christianity: Constantine to c. 600
پدیدآورنده : edited by Augustine casiday and Frederick w. Norris
کتابخانه: (قم)
موضوع : ، Church history,، Church history - Primitive and early church, ca. 03-006
رده :
BR
145
.
2
.
C66
V
.
2